Constraint satisfaction problem - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction problem
Results: 216

#	Item
171	A Case Study of Expressively Constrainable Level Design Automation Tools for a Puzzle Game Adam M. Smith∗† , Erik Andersen† , Michael Mateas∗ , Zoran Popovi´c† ∗ † Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:50 Applied mathematics NP-complete problems Electronic design automation Formal methods Logic in computer science Puzzle Answer set programming Boolean satisfiability problem Constraint satisfaction problem Theoretical computer science Constraint programming Mathematics
172	Proving Dichotomy Theorems for Counting Problems Jin-Yi Cai University of Wisconsin, Madison May 30, 2009 Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2010-12-31 10:44:44 Graph homomorphism Matching 2-satisfiability Bipartite graph Counting problem Constraint satisfaction problem Holographic algorithm Graph NP-complete Theoretical computer science Mathematics Graph theory
173	Dichotomy Theorems for Counting Problems Jin-Yi Cai University of Wisconsin, Madison Xi Chen Columbia University Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2011-07-11 20:52:11 Graph theory Computational problems NP-complete problems Constraint programming Graph coloring 2-satisfiability NP-complete Graph homomorphism Constraint satisfaction problem Theoretical computer science Mathematics Computational complexity theory
174	Non-negative Weighted #CSPs: An Effective Complexity Dichotomy Jin-Yi Cai University of Wisconsin, Madison Xi Chen Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2010-12-31 13:52:31 Differential geometry Differential topology Mathematics Commutative algebra Theorems and definitions in linear algebra Tangent space Constraint programming Constraint satisfaction problem Lemmas
175	A Constraint Satisfaction Approach to Tractable Theory Induction John Ahlgren and Shiu Yin Yuen City University of Hong Kong, Hong Kong, China [removed] Add to Reading List Source URL: lion.disi.unitn.it Language: English - Date: 2012-12-21 02:59:42 Constraint programming Logic in computer science Logic programming Programming paradigms Constraint logic programming Constraint satisfaction Boolean satisfiability problem Horn clause Prolog Theoretical computer science Declarative programming Software engineering
176	Journal of Machine Learning Research[removed]3681 Submitted 4/12; Revised 7/13; Published[removed]Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming Add to Reading List Source URL: jmlr.org Language: English - Date: 2013-12-12 22:22:13 Propositional calculus Logic programming Logic in computer science Boolean algebra Automated theorem proving Constraint logic programming Resolution Horn clause Boolean satisfiability problem Logic Theoretical computer science Mathematics
177	Solving planning-graph by compiling it into CSP Minh Binh Do & Subbarao Kambhampati Department of Computer Science and Engineering Arizona State University, Tempe AZ[removed]Email: fbinhminh,[removed] Add to Reading List Source URL: rakaposhi.eas.asu.edu Language: English - Date: 2004-04-15 15:35:21 Applied mathematics Constraint satisfaction problem Constraint satisfaction Local consistency Boolean satisfiability problem Search algorithm Linear programming Constraint programming Theoretical computer science Software engineering
178	A hybrid approach to staff scheduling: The Staff Work Allocation Tool (SWAT) Graham Winstanley Abstract Assigning nursing staff to specific duties according to their contract, qualifications, skills, Add to Reading List Source URL: www.cem.brighton.ac.uk Language: English - Date: 2003-03-24 06:32:38 Computer programming Constraint satisfaction Nurse scheduling problem Constraint logic programming Mathematical optimization Hybrid algorithm ECLiPSe Constraint programming Declarative programming Software engineering
179	A Generalization of SAT and #SAT for Robust Policy Evaluation∗ Erik Zawadzki Andr´e Platzer Geoffrey J. Gordon Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-11-06 19:31:44 Boolean algebra NP-complete problems Logic in computer science Electronic design automation Formal methods Boolean satisfiability problem True quantified Boolean formula Interpretation Constraint satisfaction problem Theoretical computer science Computational complexity theory Applied mathematics
180	On Some Tractable Cases of Logical Filtering T. K. Satish Kumar and Stuart Russell Computer Science Division University of California, Berkeley {tksk, russell}@eecs.berkeley.edu Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2007-02-07 16:35:45 Local consistency Computing Constraint satisfaction problem Constraint satisfaction Dynamic programming Decomposition method PROPT Constraint programming Software engineering Computer programming

UPDATE